-
1 алгебра высказываний
Русско-английский технический словарь > алгебра высказываний
-
2 алгебра высказываний
Русско-английский словарь по вычислительной технике и программированию > алгебра высказываний
-
3 пропозициональная алгебра
Русско-английский словарь по вычислительной технике и программированию > пропозициональная алгебра
-
4 пропозиционная алгебра
Русско-английский математический словарь > пропозиционная алгебра
-
5 алгебра
* * *а́лгебра ж.
algebraаннигиля́торная а́лгебра — annihilator algebraассоциати́вная а́лгебра — associative algebraбу́лева а́лгебра — Boolean algebraве́кторная а́лгебра — vector algebraа́лгебра выска́зываний — propositional algebraвы́сшая а́лгебра — higher algebraгомологи́ческая а́лгебра — homological algebraа́лгебра кватернио́нов — quaternion algebraкоммутати́вная а́лгебра — commutative algebraлине́йная а́лгебра — linear algebraа́лгебра Ли, свобо́дная — free Lie algebraа́лгебра ло́гики — Boolean algebraа́лгебра ма́триц — matrix algebraа́лгебра мер — measure algebraа́лгебра мно́жеств — algebra of setsа́лгебра над по́лем — algebra over a fieldа́лгебра ограниче́ний — constraint algebraпроста́я а́лгебра — simple algebraа́лгебра реле́йных схем — switching algebraа́лгебра с деле́нием — division algebraа́лгебра схем — circuit algebraтопологи́ческая а́лгебра — topological algebraэлемента́рная а́лгебра — elementary algebra -
6 исчисление высказываний
-
7 исчисление высказываний
Русско-английский новый политехнический словарь > исчисление высказываний
-
8 исчисление высказываний
Русско-английский военно-политический словарь > исчисление высказываний
-
9 пропозициональная алгебра
Русско-английский большой базовый словарь > пропозициональная алгебра
-
10 алгебра
[lang name="Russian"]реляционная алгебра; алгебра отношений — relational algebra
-
11 пропозиционная алгебра
-
12 алгебра высказываний
Русско-английский большой базовый словарь > алгебра высказываний
-
13 иерархия высказываний
Русско-английский большой базовый словарь > иерархия высказываний
-
14 исчисление высказываний
Русско-английский словарь по информационным технологиям > исчисление высказываний
-
15 алгебра высказываний
Русско-английский научно-технический словарь Масловского > алгебра высказываний
-
16 алгебра
ж. algebra -
17 матричная алгебра
реляционная алгебра; алгебра отношений — relational algebra
Русско-английский большой базовый словарь > матричная алгебра
-
18 реляционная алгебра
реляционная алгебра; алгебра отношений — relational algebra
Русско-английский большой базовый словарь > реляционная алгебра
-
19 ассоциативная алгебра
[lang name="Russian"]реляционная алгебра; алгебра отношений — relational algebra
-
20 булева алгебра
[lang name="Russian"]реляционная алгебра; алгебра отношений — relational algebra
- 1
- 2
См. также в других словарях:
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Propositional variable — In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false. Propositional variables are the basic building blocks of propositional formulas, used in… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
Boolean algebra (structure) — For an introduction to the subject, see Boolean algebra#Boolean algebras. For the elementary syntax and axiomatics of the subject, see Boolean algebra (logic). For an alternative presentation, see Boolean algebras canonically defined. In abstract … Wikipedia
List of Boolean algebra topics — This is a list of topics around Boolean algebra and propositional logic. Contents 1 Articles with a wide scope and introductions 2 Boolean functions and connectives 3 Examples of Boolean algebras … Wikipedia
BCK algebra — In mathematics, BCI and BCK algebras are algebraic structures, introduced by Y. Imai, K. Iséki and S. Tanaka in 1966, that describe fragments of the propositional calculus involving implication known as BCI and BCK logics. DefinitionBCI algebraAn … Wikipedia
Interior algebra — In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and… … Wikipedia
Geometric algebra — In mathematical physics, a geometric algebra is a multilinear algebra described technically as a Clifford algebra over a real vector space equipped with a non degenerate quadratic form. Informally, a geometric algebra is a Clifford algebra that… … Wikipedia